loop invariant - Inglés Sinónimo Diccionario